Huibiao Zhu: Z-Library में खोज करें

ज्ञान और संस्कृति के लिए आपका प्रवेश द्वार। सभी के लिए सुलभ।

Don't use scam websites

पुस्तकें (19)
सबसे लोकप्रिय
- इसके अनुसार क्रमबद्ध करें×
- सबसे लोकप्रिय
- सबसे अच्छा मिलान
- हाल ही में जोड़ी गई पुस्तकें
- शीर्षक के अनुसार (A-Z)
- शीर्षक के अनुसार (Z-A)
- साल के अनुसार
- फ़ाइल आकार ↓
- फ़ाइल आकार ↑
सूची
- सूची
- टेबल

1

LNCS 8051 - Theories of Programming and Formal Methods

LNCS 8051 - Theories of Programming and Formal Methods

Zhiming Liu, Jim Woodcock & Huibiao Zhu (eds.)

साल:

2013

भाषा:

english

फ़ाइल:

PDF, 5.68 MB

0 / 0

english, 2013

2

Unifying Theories of Programming and Formal Engineering Methods: International Training School on Software Engineering, Held at ICTAC

Unifying Theories of Programming and Formal Engineering Methods: International Training School on Software Engineering, Held at ICTAC

Zhiming Liu, Jim Woodcock, Huibiao Zhu

साल:

2013

भाषा:

english

फ़ाइल:

PDF, 3.25 MB

0 / 0

english, 2013

3

Formal Methods and Software Engineering: 12th International Conference on Formal Engineering Methods, ICFEM 2010, Shanghai, China, November 17-19, 2010. Proceedings

Formal Methods and Software Engineering: 12th International Conference on Formal Engineering Methods, ICFEM 2010, Shanghai, China, November 17-19, 2010. Proceedings

Springer-Verlag Berlin Heidelberg

Kokichi Futatsugi (auth.), Jin Song Dong, Huibiao Zhu (eds.)

साल:

2010

भाषा:

english

फ़ाइल:

PDF, 9.32 MB

0 / 0

english, 2010

4

Unifying Theories of Programming: 6th International Symposium, UTP 2016, Reykjavik, Iceland, June 4-5, 2016, Revised Selected Papers

Unifying Theories of Programming: 6th International Symposium, UTP 2016, Reykjavik, Iceland, June 4-5, 2016, Revised Selected Papers

Springer International Publishing

Jonathan P. Bowen, Huibiao Zhu (eds.)

साल:

2017

भाषा:

english

फ़ाइल:

PDF, 6.03 MB

0 / 0

english, 2017

5

Distributed Computing and Internet Technology: 5th International Conference, ICDCIT 2008 New Delhi, India, December 10-12, 2008. Proceedings

Distributed Computing and Internet Technology: 5th International Conference, ICDCIT 2008 New Delhi, India, December 10-12, 2008. Proceedings

Springer-Verlag Berlin Heidelberg

Geguang Pu, Yongxin Zhao, Zheng Wang, Libo Feng, Huibiao Zhu, Jifeng He (auth.), Manish Parashar, Sanjeev K. Aggarwal (eds.)

साल:

2009

भाषा:

english

फ़ाइल:

PDF, 3.16 MB

0 / 0

english, 2009

6

Unifying Theories of Programming and Formal Engineering Methods: International Training School on Software Engineering, Held at ICTAC 2013, Shanghai, China, August 26-30, 2013, Advanced Lectures

Unifying Theories of Programming and Formal Engineering Methods: International Training School on Software Engineering, Held at ICTAC 2013, Shanghai, China, August 26-30, 2013, Advanced Lectures

Springer-Verlag Berlin Heidelberg

Ruzhen Dong, Johannes Faber, Wei Ke (auth.), Zhiming Liu, Jim Woodcock, Huibiao Zhu (eds.)

साल:

2013

भाषा:

english

फ़ाइल:

PDF, 5.30 MB

0 / 0

english, 2013

7

LNCS 8051 - Theories of Programming and Formal Methods

LNCS 8051 - Theories of Programming and Formal Methods

Jim Woodcock Zhiming Liu & Huibiao Zhu (eds.)

साल:

2013

भाषा:

english

फ़ाइल:

MOBI , 2.37 MB

0 / 0

english, 2013

8

Theoretical Aspects of Computing – ICTAC 2013: 10th International Colloquium, Shanghai, China, September 4-6, 2013. Proceedings

Theoretical Aspects of Computing – ICTAC 2013: 10th International Colloquium, Shanghai, China, September 4-6, 2013. Proceedings

Springer-Verlag Berlin Heidelberg

Luca Cardelli, Radu Mardare (auth.), Zhiming Liu, Jim Woodcock, Huibiao Zhu (eds.)

साल:

2013

भाषा:

english

फ़ाइल:

PDF, 5.32 MB

0 / 0

english, 2013

9

Distributed Computing and Internet Technology: 5th International Conference, ICDCIT 2008 New Delhi, India, December 10-12, 2008. Proceedings

Distributed Computing and Internet Technology: 5th International Conference, ICDCIT 2008 New Delhi, India, December 10-12, 2008. Proceedings

Springer-Verlag Berlin Heidelberg

Geguang Pu, Yongxin Zhao, Zheng Wang, Libo Feng, Huibiao Zhu, Jifeng He (auth.), Manish Parashar, Sanjeev K. Aggarwal (eds.)

साल:

2009

भाषा:

english

फ़ाइल:

PDF, 3.50 MB

0 / 5.0

english, 2009

10

LNCS 8051 - Theories of Programming and Formal Methods

LNCS 8051 - Theories of Programming and Formal Methods

Zhiming Liu, Jim Woodcock & Huibiao Zhu (eds.)

साल:

2013

भाषा:

english

फ़ाइल:

FB2 , 3.60 MB

0 / 0

english, 2013

11

LNCS 8051 - Theories of Programming and Formal Methods

LNCS 8051 - Theories of Programming and Formal Methods

Zhiming Liu & Jim Woodcock & Huibiao Zhu (eds.)

फ़ाइल:

RTF , 4.60 MB

0 / 0

12

LNCS 8051 - Theories of Programming and Formal Methods

LNCS 8051 - Theories of Programming and Formal Methods

Zhiming Liu, Jim Woodcock & Huibiao Zhu (eds.)

साल:

2013

भाषा:

english

फ़ाइल:

LIT , 1.96 MB

0 / 0

english, 2013

13

LNCS 8051 - Theories of Programming and Formal Methods

LNCS 8051 - Theories of Programming and Formal Methods

Jim Woodcock Zhiming Liu & Huibiao Zhu (eds.)

साल:

2013

भाषा:

english

फ़ाइल:

AZW3 , 2.47 MB

0 / 0

english, 2013

14

Unifying Theories of Programming and Formal Engineering Methods: International Training School on Software Engineering, Held at ICTAC 2013, Shanghai, China, August 26-30, 2013, Advanced Lectures

Unifying Theories of Programming and Formal Engineering Methods: International Training School on Software Engineering, Held at ICTAC 2013, Shanghai, China, August 26-30, 2013, Advanced Lectures

Springer-Verlag Berlin Heidelberg

Ruzhen Dong, Johannes Faber, Wei Ke (auth.), Zhiming Liu, Jim Woodcock, Huibiao Zhu (eds.)

साल:

2013

भाषा:

english

फ़ाइल:

PDF, 3.01 MB

0 / 0

english, 2013

15

Theories of Programming and Formal Methods: Essays Dedicated to Jifeng He on the Occasion of His 70th Birthday

Theories of Programming and Formal Methods: Essays Dedicated to Jifeng He on the Occasion of His 70th Birthday

Springer-Verlag Berlin Heidelberg

Jean-Raymond Abrial (auth.), Zhiming Liu, Jim Woodcock, Huibiao Zhu (eds.)

साल:

2013

भाषा:

english

फ़ाइल:

PDF, 5.34 MB

0 / 0

english, 2013

16

Formal Methods and Software Engineering: 12th International Conference on Formal Engineering Methods, ICFEM 2010, Shanghai, China, November 17-19, 2010. Proceedings

Formal Methods and Software Engineering: 12th International Conference on Formal Engineering Methods, ICFEM 2010, Shanghai, China, November 17-19, 2010. Proceedings

Springer-Verlag Berlin Heidelberg

Kokichi Futatsugi (auth.), Jin Song Dong, Huibiao Zhu (eds.)

साल:

2010

भाषा:

english

फ़ाइल:

PDF, 9.26 MB

0 / 0

english, 2010

17

Service-Oriented Computing - ICSOC 2012 Workshops: ICSOC 2012, International Workshops ASC, DISA, PAASC, SCEB, SeMaPS, WESOA, and Satellite Events, Shanghai, China, November 12-15, 2012, Revised Selected Papers

Service-Oriented Computing - ICSOC 2012 Workshops: ICSOC 2012, International Workshops ASC, DISA, PAASC, SCEB, SeMaPS, WESOA, and Satellite Events, Shanghai, China, November 12-15, 2012, Revised Selected Papers

Springer-Verlag Berlin Heidelberg

Yu Deng, Liangzhao Zeng (auth.), Aditya Ghose, Huibiao Zhu, Qi Yu, Alex Delis, Quang Z. Sheng, Olivier Perrin, Jianmin Wang, Yan Wang (eds.)

साल:

2013

भाषा:

english

फ़ाइल:

PDF, 14.57 MB

0 / 0

english, 2013

18

Theoretical Aspects of Computing – ICTAC 2013: 10th International Colloquium, Shanghai, China, September 4-6, 2013. Proceedings

Theoretical Aspects of Computing – ICTAC 2013: 10th International Colloquium, Shanghai, China, September 4-6, 2013. Proceedings

Springer-Verlag Berlin Heidelberg

Luca Cardelli, Radu Mardare (auth.), Zhiming Liu, Jim Woodcock, Huibiao Zhu (eds.)

साल:

2013

भाषा:

english

फ़ाइल:

PDF, 4.73 MB

0 / 0

english, 2013

19

Theories of Programming and Formal Methods

Theories of Programming and Formal Methods

Zhiming Liu, Jim Woodcock, Huibiao Zhu

साल:

2013

भाषा:

english

फ़ाइल:

PDF, 5.67 MB

0 / 0

english, 2013